Una de las controversias en los debates metafilosóficos contemporáneos gira en torno al presunto uso de intuiciones como evidencia en la filosofía analítica. El problema es que, si los filósofos realmente usan intuiciones, no queda claro qué se entiende por éstas, cómo pueden tener un papel evidencial, o si son siquiera fiables. En su libro Philosophy Without Intuitions, Herman Cappelen se propone abordar esta cuestión que concierne a los fundamentos mismos de la filosofía analítica, dando una respuesta negativa a la (...) pregunta de si los filósofos dependen de intuiciones. Su estrategia consiste en articular dos argumentos que, de acuerdo con él, suelen ser mencionados en apoyo de la existencia del uso de intuiciones en filosofía, para después mostrar que ninguno cumple su cometido. Por lo tanto, sería falso que se utilizan intuiciones como evidencia en filosofía. La obra se divide en dos partes: en la primera (caps. 2-5) desarrolla un argumento lingüístico a favor de la existencia del uso de intuiciones en filosofía, así como su crítica a éste; mientras que en la segunda (caps. 6-11) elabora un argumento práctico, junto con sus respectivos defectos. Y si bien Cappelen cree que en última instancia la diferencia entre ambos argumentos es convencional, sirve para sus propósitos expositivos. (shrink)

In memoriam José Arrazola Ramírez The logic $\textbf{G}^{\prime}_3$ was introduced by Osorio et al. in 2008; it is a three-valued logic, closely related to the paraconsistent logic $\textbf{CG}^{\prime}_3$ introduced by Osorio et al. in 2014. The logic $\textbf{CG}^{\prime}_3$ is defined in terms of a multi-valued semantics and has the property that each theorem in $\textbf{G}^{\prime}_3$ is a theorem in $\textbf{CG}^{\prime}_3$. Kripke-type semantics has been given to $\textbf{CG}^{\prime}_3$ in two different ways by Borja et al. in 2016. In this work, (...) we continue the study of $\textbf{CG}^{\prime}_3$, obtaining a Hilbert-type axiomatic system and proving a soundness and completeness theorem for this logic. (shrink)

In this article, the authors bring two personal journeys together: one author’s liberationist journey, sparked by a search for justice and liberation in the slums of Guatemala City, and the other’s lifelong commitment to practical theology and spatial justice in South Africa. A practical theology of liberation is the result of life experiences in countries of the Global South amidst the search for justice and liberation. The worlds that come together in this article are René Girard’s mimetic theory, liberation theology (...) and practical theology. This article raises the question of the cross-contextuality of practical theology and the theological application of mimetic theory to develop innovative theological methodologies that respond to the collective woundedness of the urban context in the Global South.Contribution: The main contribution of this article is the use of three seemingly different theological approaches in conjunction. This article opens the door to inform practical theology with René Girard’s mimetic theory and liberation theology. (shrink)

Resumen: De acuerdo con los principales enfoques al respecto (Sexto, Diógenes Laercio, Galeno, B.Mates, Long, Bochenski, Lukasiewicz) la lógica (dialéctica) de los estoicos es principalmente un sistema deductivo, lo que, en términos actuales, ha sido visto como un sistema de lógica proposicional. La obra de Crísipo acerca de los cinco argumentos indemostrables constituye la principal base de dicho sistema. En este artículo se examina la naturaleza de dichos cinco indemostrables así como el llamando teorema de Antipatro y los esquemas básicos (...) de inferencia, o zemas. Por otra parte y en particular, sostengo que dichos argumentos indemostrables tienen otro importante rol para la filosofía y la historia de la lógica, cual es el de constituirse en una justificación de la deducción, un problema central en el presente. Se analiza, primero, la justificación por los indemostrables y por el principio de condicionalización y, segundo, la justificación cognitiva de la lógica implícita en un sistema estoico.Palabras clave: Crísipo de Solós; lógica; indemostrable; justificación; validez. (shrink)

Resumen:“Arrojar luz sobre nuestra época”; esa fue la finalidad central que declara haber tenido Kierkegaard para escribir acerca de lo que significó el caso jurídico llevado en contra de Adolph Adler (Prefacio: 21), y para hacer toda su filosofía, se podría añadir (desde el escrito de Gilleleje, Temor y temblor, Lo uno o lo otro, el Postcriptum y, especialmente, hasta los artículos de El instante). Expresiones similares acerca del sentido de su proyecto filosófico general lo expresa Kierkegaard en varios momentos (...) de El libro sobre Adler. Su objetivo era tratar a A. Adler como una figura representativa de una determinada característica de su época, a la que quería diagnosticar y mejorar (40). Y la meta más amplia de Kierkegaard era, pues, orientar al tiempo y la cultura en que le tocó vivir. La última sección del último capítulo del libro, tiene justamente el título: “El profesor Adler como epigrama de la cristiandad de nuestros días” (198). (shrink)

Resumen:El texto está dirigido al estudiante especializado que desee no solo aprender distintos sistemas lógicos, sino que, también, quiera acercarse a las bases epistemológicas y ontológicas que conforman la naturaleza de la disciplina, esto es, en principio, a la filosofía de la lógica. Pero, esto hay que aclararlo, pues en el prefacio de la obra el autor anuncia que: “En este texto abrazaremos la ambigüedad, introduciendo a los estudiantes en la lógica filosófica en ambos sentidos” (XVI). ¿Cuál ambigüedad de sentidos (...) es esa? Se trata de la ambigüedad que se escondería en el término mismo philosophical logic, pues podría ser entendido en los siguientes sentidos: referido a una investigación de los conceptos, alcances y propiedades y bases teóricas y filosóficas centrales de la lógica, o bien como el desarrollo técnico de determinados sistemas lógicos, en sus métodos y operatorias. En otras palabras, como filosofía de la lógica o como lógica sin más. (shrink)

By a theorem of R. Kaye, J. Paris and C. Dimitracopoulos, the class of the Πn+1-sentences true in the standard model is the only consistent Πn+1-theory which extends the scheme of induction for parameter free Πn+1-formulas. Motivated by this result, we present a systematic study of extensions of bounded quantifier complexity of fragments of first-order Peano Arithmetic. Here, we improve that result and show that this property describes a general phenomenon valid for parameter free schemes. As a consequence, we obtain (...) results on the quantifier complexity, finite axiomatizability and relative strength of schemes for Δn+1-formulas. (shrink)

A lo largo de la historia el ser humano ha sentido interés por el fenómeno del movimiento y su vínculo con la ilusión de vida; diferentes mecanismos y sistemas articulados se han construido con el fin de insuflar vida en seres inertes. El presente artículo reflexiona sobre la cualidad móvil del acto creador presente en diferentes campos socioculturales, desde el misticismo hasta los avances tecnológicos. Se parte del enigma del anima, y su conexión con los creadores, denominados ejecutantes y sus (...) creaciones, denominadas “avatares encarnados”. Se analizan las relaciones de control-libertad, dependencia-independencia entre el ejecutante y su “avatar encarnado”; como también el grado de aceptación que tiene la audiencia al ver las creaciones reproducidas bajo el dispositivo diacrónico. La transición del autómata al personaje animado constata la evolución de los sistemas de representación y reconocimiento del movimiento. (shrink)

La idea de razonamiento basado en modelos, RBM, es hoy un tema central en lógica, fi losofía de las ciencias y ciencia cognitiva. No obstante ello, su naturaleza inferencial es aún problemática. En este artículo se aborda dicho problema en dos instancias: primero, se identifi ca y aclara la idea precisa de modelo que está involucrada en RBM y, segundo, se propone y desarrolla la tesis de que su naturaleza inferencial posee la siguiente cuádruple raíz, que lo diferencia del formato (...) enunciativo standard basado en proposiciones y reglas: representación icónica del modelo, idea de manipulación de modelos, conservación estructural en la conclusión y acceso directo. (shrink)

Raúl Dorra dedica, a lo largo de su obra, un lugar central al estudio de la escritura donde la lectura aparece como su correlato. Sin ser fenomenólogo, Dorra, no obstante, siempre plantea de modo intencional la relación entre lectura y escritura al considerar que en la segunda anida la presencia de un sujeto que la primera desentraña al hacer oír su voz. El presente artículo explora el intercambio entre la percepción visual de la escritura y la auditiva de la voz (...) mediante la lectura para avanzar hacia la propuesta vertebral de Raúl Dorra sobre los tres modos en que la lectura, desde su dimensión sensible, configura su poética, a saber, la búsqueda, la negociación y la distribución con las que aparece la presencia del sujeto mediante la voz. (shrink)

La discusión sobre el psicologismo lógico, que parecía ya superada desde Frege-Husserl, ha vuelto a posicionarse hoy en la filosofía de la lógica. Se examina, en primer lugar, la idea según la cual lo que hoy se entiende por lógica respondería en lo esencial a las tesis defendidas por el anti-psicologismo. En segundo término, se plantea que algunos enfoques actuales en ciencia cognitiva, como el de la facultad cognitiva proto-lógica de R.Hanna, y el de los dominios cognitivos, de Stennings y (...) van Lambalgen, permiten apoyar la idea de que la naturaleza de la lógica va más allá de los atributos antipsicologistas. (shrink)

RESUMEN Este artículo teje una relación entre el proceso de acumulación de tierras y el despojo en Colombia, para pensar, desde una perspectiva espacial, la relación que se construye con la guerra. El enclave teórico de este artículo sostiene que la colonialidad del poder es también una forma de disociación de la tierra que complejiza la experiencia de la servidumbre. A través de una lectura de pensadores como Marx, Harvey, Castro-Gómez y Mariátegui problematiza la experiencia del despojo de tierras en (...) Colombia y la economía del poder que de allí se desprende. ABSTRACT This paper exposes a relation between the accumulation and dispossession process of land in Colombia as a product of war, from a perspective of space. The theoretical frame of this paper assumes that coloniality of power is a complex form of dissociation of the land, one that transforms the experience of serfdom. Via reading thinkers like Marx, Harvey, Castro-Gómez, and Mariátegui, this paper problematizes the experiences of dispossession of land in Colombia and the economy of power that it engenders. (shrink)

Se examina la estructura lógica de la antilogía como forma de pensamiento ejercida por los sofistas. Se sostiene que, si bien en los argumentos antilógicos se encuentran falacias de tipo no formal, al menos algunos de tales razonamientos no son falacias desde un punto de vista simbólico formal, sino que poseen estructuras que hoy se pueden reconstruir como esquemas con validez lógica. Se analizan específicamente dos lugares de argumentaciones sofistas: los denominados Discursos dobles, textos anónimos del IV AC, y la (...) obra principal de Gorgias. Se identifican en ellos 8 argumentos con estructura lógica válida. (shrink)

Desde que Peirce la creara, la naturaleza de la inferencia abductiva ha sido interpretada de muchas maneras. Se analizan tres interpretaciones de ella y algunas de sus derivaciones, para luego examinar la posibilidad de considerar la abducción como una virtud argumentativa, de carácter cognitivo, en consonancia con las teorías actuales de las virtudes epistemológicas surgidas a partir de la obra de E. Sosa y de las virtudes argumentativas según A. Aberdein. Sobre la base de dicha interpretación se propone que la (...) abducción puede cumplir con el rol de justificación de aquellas reglas de deducción natural que introducen cláusulas hipotéticas. (shrink)

Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, providing logical foundations and a rich sample of pertinent applications. Divided into three parts on the conceptual framework, the logical foundations, and the applications, this monograph takes the reader for a comprehensive and erudite tour through the taxonomy of abductive reasoning, via the logical workings of abductive inference ending with applications pertinent to scientific explanation, empirical progress, pragmatism and belief revision.

Este artículo revisa textos académicos y producciones relacionadas con la idea de ​​construir el concepto de poética en torno a la animación colombiana, tratando de vincular las dinámicas artísticas, culturales y tecnológicas que han llevado a acciones comerciales y políticas nacionales que buscan consolidar un sector. Para ello, el concepto de "artefactura" se presenta como una nueva propuesta en torno a las interacciones, procesos y agentes dentro de una producción animada, estructurada a partir de los diferentes debates generados sobre la (...) definición de poética, artefacto y particularmente lo que significa "hacer movimiento". En este sentido, la revisión de la literatura abarca los aspectos fundamentales en la reconstrucción histórica de la animación en Colombia, así como las reflexiones y discusiones críticas que se encontraron a nivel nacional, incluyendo influencias y producciones destacadas desarrolladas en Colombia. El objetivo ha sido localizar elementos que den cuenta de las bases que existen en la animación en el contexto particular de Colombia y la evolución que ha tenido hasta ahora. (shrink)

S.Haack has defended the idea that in fuzzy logic it cannot be affirmed that the true values of a statement are themselves blurry. This article analyzes Haack position in the light of some current approaches of classic philosophy of logic, and from the cognitive point of view of philosophy of logic, especially from the theory of concepts. Under the said approaches, the thesis on non-gradation of truth appears significantly weakened.

As COVID-19 emerged as a phenomenon of the total environment, and despite the intertwined and complex relationships that make humanity an organic part of the Bio- and Geospheres, the majority of our responses to it have been corrective in character, with few or no consideration for unintended consequences which bring about further vulnerability to unanticipated global events. Tackling COVID-19 entails a systemic and precautionary approach to human-nature relations, which we frame as regaining diversity in the Geo-, Bio-, and Anthropospheres. Its (...) implementation requires nothing short of an overhaul in the way we interact with and build knowledge from natural and social environments. Hence, we discuss the urgency of shifting from current to precautionary approaches to COVID-19 and look, through the lens of diversity, at the anticipated benefits in four systems crucially affecting and affected by the pandemic: health, land, knowledge and innovation. Our reflections offer a glimpse of the sort of changes needed, from pursuing planetary health and creating more harmonious forms of land use to providing a multi-level platform for other ways of knowing/understanding and turning innovation into a source of global public goods. These exemplary initiatives introduce and solidify systemic thinking in policymaking and move priorities from reaction-based strategies to precautionary frameworks. (shrink)

A well known theorem proved by J. Paris and H. Friedman states that BΣn +1 is a Πn +2-conservative extension of IΣn . In this paper, as a continuation of our previous work on collection schemes for Δn +1-formulas , we study a general version of this theorem and characterize theories T such that T + BΣn +1 is a Πn +2-conservative extension of T . We prove that this conservativeness property is equivalent to a model-theoretic property relating Πn-envelopes and (...) Πn-indicators for T . The analysis of Σn +1-collection we develop here is also applied to Σn +1-induction using Parsons' conservativeness theorem instead of Friedman-Paris' theorem.As a corollary, our work provides new model-theoretic proofs of two theorems of R. Kaye, J. Paris and C. Dimitracopoulos : BΣn +1 and IΣn +1 are Σn +3-conservative extensions of their parameter free versions, BΣ–n +1 and IΣ–n +1. (shrink)

The authors of Beziau and Franceschetto work with logics that have the property of not satisfying any of the formulations of the principle of non contradiction, Béziau and Franceschetto also analyze, among the three-valued logics, which of these logics satisfy this property. They prove that there exist only four of such logics, but only two of them are worthwhile to study. The language of these logics does not consider implication as a connective. However, the enrichment of a language with an (...) implication connective leads us to more interesting systems, therefore we look for one implication for these logics and we study further properties that the logics obtain when this connective is added to these systems. (shrink)

Background: COVID-19 has taken many lives worldwide and due to this, millions of persons are in grief. When the grief process lasts longer than 6 months, the person is in risk of developing Complicated Grief Disorder. The CGD is related to serious health consequences. To reduce the probability of developing CGD a preventive intervention could be applied. In developing countries like Mexico, the psychological services are scarce, self-applied interventions could provide support to solve this problem and reduce the health impact (...) even after the pandemic has already finished.Aims: To design and implement a self-applied intervention composed of 12 modules focused on the decrease of the risk of developing CGD, and increasing the life quality, and as a secondary objective to reduce the symptomatology of anxiety, depression, and increase of sleep quality. The Intervention Duelo COVID follows the principles of User Experience and is designed according to the needs and desires of a sample of the objective participants, to increase the adherence to the self-applied intervention, considered one of the main weaknesses of online interventions.Methods: A Randomized Controlled Trial will be conducted from the 22nd of December of 2020 to the first of June 2021. The participants will be assigned to an intervention with elements of Cognitive Behavioral Therapy, Acceptance and Commitment Therapy, Mindfulness and Positive Psychology. The control group will be a wait-list condition, that will receive the intervention 1.5–2 months after the pre-measurement were taken. The Power Size Calculation conducted through G*Power indicated the need for a total of 42 participants, which will be divided by 21 participants in each group. The platform will be delivered through responsive design assuring with this that the intervention will adapt to the screen size of cellphones, tablets, and computers.Ethics and Dissemination: The study counts with the approval of the Research Ethics Committee of the Autonomous University of Ciudad Juárez, México, and it is registered in Clinical Trials. The article is sent and registered in clinical trials before the recruitment started. The results will be reported in future conferences, scientific publications, and media. (shrink)

In a recent paper in this Journal, one of us argued against placing He above Be in Mendeleiev’s system of the elements. In it the goal was to dispute the notion that in Mendeleiev’s system of the elements the location of He should in fact lie above Be, which has a very similar electronic configuration, rather than above the noble gas column. That paper was based on rather old, Hartree–Fock limit studies on the strikingly limited non-additive contributions in the He3 (...) and He4 systems in contrast with the much larger non-additivity obtained for the Be3, Be4 and Be5 oligomers. In a recent benchmark multireference Averaged Quadratic Coupled Cluster results on Be2 and Be3 we showed that the delocalized non-additive contribution comprises 94 % of the binding energy of Be3. Here we use this and other pertinent information (drawn from the same paper) to conclude that He may not be associated with Be in Mendeleiev’s Table, despite their quite similar spectroscopic ground states. Furthermore, we use the new results to show that the large non-additivity implies that less than 2 % of the Be3 binding is located in each Be pair contained within the Be trimer. The rest of the interaction energy is necessarily delocalized over all three Be atoms. This might actually announce the bulk properties (i.e. “the electron gas”) that in solid-state physics explain the large electric and heat conduction for the solid Be metal. Thus, in the case of beryllium the metallic characteristics are already evident in Be3, a far cry from the monoatomic helium gas. (shrink)

En los inicios de su libro, en la primera página, Sher plantea la cuestión central así: ¿en virtud de qué un enunciado S es consecuencia lógica de un conjunto de sentencias Γ? ¿Qué es lo que diferencia a una mera consecuencia de una consecuencia lógica, pues toda consecuencia lógica es consecuencia pero no a la inversa? ¿Por qué “2 tiene un sucesor” es consecuencia lógica de “todo número tiene un sucesor”, mientras que “x es soltero” no lo es de “x (...) es no casado”? (shrink)